منابع مشابه
Inconsistency-Tolerant Instance Checking in Tractable Description Logics
Research on inconsistency-tolerant query answering usually assumes that the terminological knowledge is correct, and only the facts (ABox) need to be repaired. In this paper we study the problem of answering instance queries over inconsistent ontologies, by repairing the whole knowledge base (KB). Contrary to ABox repairs, when KB repairs are considered, instance checking in DL-LiteHorn w.r.t. ...
متن کاملCan Integrity Tolerate Inconsistency?
An unconditional and hitherto unquestioned basic requirement for integrity checking is that the data need to be consistent before the update, such that the success of a simplified test can guarantee the invariance of integrity after the update. We answer the question whether this consistency requirement can be relaxed with ”Yes, at least sometimes, and to some extent.”
متن کاملSimilarity-Based Inconsistency-Tolerant Logics
Many logics for AI applications that are defined by denotational semantics are trivialized in the presence of inconsistency. It is therefore often desirable, and practically useful, to refine such logics in a way that inconsistency does not cause the derivation of any formula, and, at the same time, inferences with respect to consistent premises are not affected. In this paper, we introduce a g...
متن کاملSemantic Integrity Dependencies and Delayed Integrity Checking
This paper’s approach to semantic integrity management is that in order to maintain an integrity constraint, some variables of the constraint may be operated on while others may not This defines integrity dependencies between vsiables. Various examples of integrity dependencies and their meanings are discussed. In addition to corresponding to real world practice, integrity dependencies can be u...
متن کاملInconsistency-tolerant reasoning with OWL DL
The Web Ontology Language (OWL) is a family of description logic based ontology languages for the Semantic Web and gives well defined meaning to web accessible information and services. The study of inconsistency-tolerant reasoning with description logic knowledge bases is especially important for the Semantic Web since knowledge is not always perfect within it. An important challenge is streng...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Knowledge and Data Engineering
سال: 2011
ISSN: 1041-4347
DOI: 10.1109/tkde.2010.87